Generalized Update: Belief Change in Dynamic Settings
نویسنده
چکیده
Behef revision and belief update have been proposed as two types of behef change serving differ ent purposes Belief revision is intended to capture changes of an agent's belief state reflecting new information about a static world Belief update is intended to capture changes of behef in response to a changing world We argue that both belief revision and behef update are too restrictive, routine behef change involves elements of both We present a model for generalized update that allows updates in response to external changes to inform the agent about its pnor beliefs This model of update combines aspects of revision and update, providing a more realistic characterization of behef change We show that, under certain assumptions, the original update postulates are satisfied We also demonstrate that plain revision and plain update are special cases of our model, in a way that formally verifies the intuition that revision is suitable for "static" belief change
منابع مشابه
A Unified Model of Qualitative Belief Change: A Dynamical Systems Perspective
Belief revision and belief update have been proposed as two types of belief change serving different purposes, revision intended to capture changes in belief state reflecting new information about a static world, and update intended to capture changes of belief in response to a changing world. We argue that routine belief change involves elements of both and present a model of generalized updat...
متن کاملPropositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision
This talk shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent knowledge update and belief revision, or as a logic of preference change, if the basic relations are read as preferences instead of plausibilities. Our point of departure is the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, ...
متن کاملActions , belief update , and DDL ∗
Two prominent topics in Krister Segerberg’s works are, on the one hand, actions, and on the other hand, belief change. Both topics are connected in multiple ways; one of these connections is via KGM belief update, since, as we argue, belief update is a specific case of feedback-free action progression. We discuss the links between update and action, and, starting from Segerberg’s works, discuss...
متن کاملModeling Belief in Dynamic Systems, Part II: Revision and Update
The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. In a companion paper (Friedman & Halpern, 1997), we introduce a new framework to model belief change. This framework combines temporal and epistemic modalities with a notion of plausibility, allowing us to ex...
متن کاملPropositional Dynamic Logic as a Logic of Belief Revision
This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL ...
متن کامل